;;
f x z = x
